1. Computer science logic : 12th International Workshop, CSL'98 : Annual Conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
پدیدآورنده : Georg Gottlob, Etienne Grandjean, Katrin Seyr )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1584